Modeling and Simulation of User Mobility and Handover in Lte and beyond Mobile Networks Using Devs Formalism

User mobility and handover are two important functions in mobile networks that provide seamless connectivity of user when moving from one cell to another cell. Hence, handover and its performance are of high importance to improve the performance of mobile networks. In this study, we present a technical overview of mobility and handover management of 3GPP Long Term Evolution (LTE) and beyond mobile networks. We present an open source simulation model of user mobility and handover that allows investigating the performance of handover process within 3GPP LTE and beyond mobile networks. To model the user mobility and handover process we introduce Discrete EVent System Specification (DEVS) formalism, a flexible formal modeling and simulation methodology. We perform modeling and simulation of typical urban area propagation, with different user speed, cell radius and traffic load per cell for both homogeneous and heterogeneous mobile networks.